収束空間の圏 Conv と位相的トポスに関する包括的解説

本稿は、位相空間の圏が抱える構造的な欠陥を克服するために考案された「収束空間の圏 $\mathbf{Conv}$」の完全な数学的定義から始まり、現代数学における凝縮数学 (condensed mathematics) との思想的繋がり、そして P. T. Johnstone による「位相的トポス (topological topos)」の構築とその内部論理に至るまでの議論を、数学的に厳密かつ自己完結的 (self-contained) にまとめたものです。

フォーマルな定義や定理・証明については「だ・である調」で厳密に記述し、概念の背景や直観的な補足解説については「です・ます調」で親切に解説します。

1. 収束空間の圏 $\mathbf{Conv}$ の構成

通常の位相空間の圏 $\mathbf{Top}$ では、2つの空間の間の連続写像全体の集合に常に適切な位相を入れること（指数対象の構成）が困難です。例えば、評価写像が連続になるためには、定義域の空間が局所コンパクト (locally compact) Hausdorff 空間であるなどの厳しい条件が要求されます。この問題を「開集合」ではなく「点へのフィルターの収束」を基本原理として再構築したのが、収束空間の圏 $\mathbf{Conv}$ です。

集合 $X$ 上のフィルター (filter) とは、$X$ の部分集合の族 $\mathcal{F}$ であり、以下の条件を満たすものである。

(F1) $X \in \mathcal{F}$ であり、空集合 $\varnothing \notin \mathcal{F}$ である。
(F2) $A \in \mathcal{F}$ かつ $B \in \mathcal{F}$ ならば、$A \cap B \in \mathcal{F}$ である。
(F3) $A \in \mathcal{F}$ かつ $A \subset B$ ならば、$B \in \mathcal{F}$ である。

$X$ の要素 $x \in X$ に対し、$x$ を含むすべての部分集合からなる族 $\dot{x} = \{ A \subset X \mid x \in A \}$ はフィルターとなる。これを $x$ により生成される主フィルター (principal filter) と呼ぶ。$X$ 上のフィルター全体の集合を $\mathbb{F}(X)$ と表記する。

$\mathbf{Conv}$ の対象 (objects) は、組 $(X, c)$ である。ここで、$X$ は集合であり、$c \subset \mathbb{F}(X) \times X$ は「フィルターと点との間の収束関係」である。$(\mathcal{F}, x) \in c$ であることを $\mathcal{F} \xrightarrow{c} x$ または単に $\mathcal{F} \to x$ と書き、「$\mathcal{F}$ は $x$ に収束する」と言う。この関係 $c$ は以下の3つの公理を満たす。

公理1（主フィルターの収束）: 任意の $x \in X$ について、$\dot{x} \to x$ である。
公理2（細分の収束）: $\mathcal{F} \to x$ であり、フィルター $\mathcal{G}$ が $\mathcal{F} \subset \mathcal{G}$ を満たすならば、$\mathcal{G} \to x$ である。
公理3（有限交叉の収束）: $\mathcal{F} \to x$ かつ $\mathcal{G} \to x$ ならば、$\mathcal{F} \cap \mathcal{G} \to x$ である（ここで $\mathcal{F} \cap \mathcal{G}$ は共通部分として得られるフィルターである）。

$\mathbf{Conv}$ における対象 $(X, c_X)$ から $(Y, c_Y)$ への射 (morphisms) は、連続写像 (continuous maps) として定義される。関数 $f: X \to Y$ が連続写像であるとは、任意の $x \in X$ と任意の $\mathcal{F} \in \mathbb{F}(X)$ について、 $$ \mathcal{F} \xrightarrow{c_X} x \implies f(\mathcal{F}) \xrightarrow{c_Y} f(x) $$ が成り立つことである。ただし、$f(\mathcal{F})$ は $\{ B \subset Y \mid f^{-1}(B) \in \mathcal{F} \}$ によって定義される $Y$ 上の像フィルターである。

恒等写像は明らかに連続であり、連続写像の合成も連続となるため、これらはwell-definedな圏を構成する。

2. $\mathbf{Conv}$ の優れた圏論的性質

証明の構成:
1. デカルト閉性:
対象 $X, Y$ に対して、連続写像全体の集合 $C(X, Y)$ に「連続収束 (continuous convergence)」の構造を入れる。$C(X, Y)$ 上のフィルター $\Phi$ が関数 $f \in C(X, Y)$ に収束するとは、任意の $X$ における収束 $\mathcal{F} \to x$ に対して、評価写像による像フィルター $ev(\Phi \times \mathcal{F}) \to f(x)$ が $Y$ において成り立つことであると定義する。この構造により、指数法則 $\operatorname{Hom}(X \times Y, Z) \cong \operatorname{Hom}(X, C(Y, Z))$ が自然な全単射として成立し、$\mathbf{Conv}$ はデカルト閉となる。

2. 位相的圏 (topological category):
任意の関数の族 $f_i : X \to Y_i$ ($Y_i \in \mathbf{Conv}$) に対して、これらすべてを連続にするような $X$ 上の最も粗い収束構造（初期構造）が常に存在する。具体的には、$\mathcal{F} \xrightarrow{X} x \iff \forall i, f_i(\mathcal{F}) \xrightarrow{Y_i} f_i(x)$ と定義すればよい。双対的に、商空間や直和を与える終構造も一意に存在する。これにより極限と余極限の振る舞いが完全に保たれ、完備かつ余完備となる。

3. 準トポス (quasitopos):
$\mathbf{Conv}$ においては、強部分対象を分類する強部分対象分類子 (strong subobject classifier) が存在する。これは完全な Grothendieck トポスの $\Omega$ ほど強力ではないが、閉包演算に関連する部分空間を完全に分類できる論理的構造を備えている。

3. 凝縮数学 (Condensed Mathematics) との思想的繋がり

Dustin Clausen と Peter Scholze により創始された凝縮数学 (condensed mathematics) もまた、「$\mathbf{Top}$ をより扱いやすい圏に置き換える」という全く同じ動機から出発しています。両者のアプローチは「空間を、扱いやすいテスト空間からの関手（前層や層）として再定義する」という哲学を共有しています。

しかし、採用した「テスト空間のサイト」に決定的な違いがあります。

$\mathbf{Conv}$ のサイト: 単一フィルター空間（点の極めて局所的で解析的な振る舞い）。
凝縮数学のサイト: 副有限空間 (profinite spaces) や超不連結 (extremally disconnected) 空間（代数と相性の良い、コンパクトでゼロ次元の硬い空間）。

ホモロジー代数やコホモロジー理論を展開するためには、対象が完全なアーベル圏の構造を持つ Grothendieck トポス（層の圏）であることが必須です。$\mathbf{Conv}$ のような準トポスでは代数的な要求を満たしきれないため、Scholze らは超不連結 (extremally disconnected) 空間上の層として凝縮集合を定義し、サイズ問題を到達不能基数で回避することで完全なトポスを構築しました。

4. Johnstone の位相的トポス (Topological Topos)

では、収束空間の側のアプローチ（解析的なアプローチ）で完全なトポスを作ることはできないのでしょうか？実は、1979年に P. T. Johnstone が「位相的トポス (topological topos)」としてこれを実現しています。

巨大すぎるすべてのフィルターをテスト空間にすると集合論的サイズ問題が生じるため、Johnstone はターゲットを「点列の収束」にのみ絞り込み、層を定義するための厳密なメカニズム（ふるいと被覆）を構築しました。

4.1. 圏論におけるふるい (sieve) と層 (sheaf) の定義

圏 $\mathcal{C}$ の対象 $C$ 上のふるい (sieve) $R$ とは、余域 (codomain) が $C$ であるような射の集まりであり、任意の射の合成に対して閉じている（右イデアルである）もののことである。すなわち、以下を満たす。
任意の射 $f: D \to C$ が $R$ に属し、任意の射 $g: E \to D$ が $\mathcal{C}$ の射であるならば、合成射 $f \circ g : E \to C$ も必ず $R$ に属する。

対象 $C$ 上のすべての射の集まり（極大ふるい）もふるいとなる。

圏 $\mathcal{C}$ 上の Grothendieck 位相 $J$ とは、各対象 $C \in \mathcal{C}$ に対して、「被覆 (covering) とみなされる特別なふるいの族 $J(C)$」を割り当てる規則であり、特定の公理（極大ふるいを含むこと、引き戻しで閉じていること、推移律を満たすこと）を満たすものである。$J(C)$ に属するふるいを被覆ふるい (covering sieve) と呼ぶ。

サイト $(\mathcal{C}, J)$（Grothendieck 位相を備えた小さな圏）上の前層 (presheaf) $F: \mathcal{C}^{op} \to \mathbf{Set}$ が層 (sheaf) であるとは、任意の対象 $C \in \mathcal{C}$ と、その上の任意の被覆ふるい $R \in J(C)$ に対して、以下の条件を満たすことである。

【一意的な貼り合わせの存在】
任意の「整合的な元の族 (matching family)」に対して、それを一意的に引き起こすような「貼り合わせ (amalgamation)」がただ一つ存在する。

整合的な元の族: ふるい $R$ に属する各射 $f: D \to C$ に対して、元 $x_f \in F(D)$ が割り当てられており、任意の射 $g: E \to D$ に対して $F(g)(x_f) = x_{f \circ g}$ が成り立つような元の族 $(x_f)_{f \in R}$ のことである。
貼り合わせ: ある単一の元 $x \in F(C)$ であり、すべての $f \in R$ について $F(f)(x) = x_f$ を満たすものである。

4.2. 位相的トポスのサイトと被覆ふるいの厳密な定義

テスト空間として、自然数の1点コンパクト化空間 $\mathbb{N}_\infty = \mathbb{N} \cup \{\infty\}$ を採用する。この空間の収束構造は、自然数の列が $\infty$ に収束するという唯一の動的構造を持つ。

小さな圏 (small category) $\mathcal{C}$ を以下のように定める。

対象: $\mathbb{N}_\infty$ および単一の点 $1$ の2つのみ。
射: これら対象間のすべての連続写像。

圏 $\mathcal{C}$ 上の Grothendieck 位相 $J$ を次のように厳密に定義する。対象 $1$ 上の被覆ふるいは極大ふるい（すべての射を含むもの）のみとする。対象 $\mathbb{N}_\infty$ 上のふるい $R$ が被覆ふるい (covering sieve) であるとは、以下の2つの条件を同時に満たすことである。

定数写像の包含: 任意の $x \in \mathbb{N}_\infty$ に対する定数写像 $c_x : \mathbb{N}_\infty \to \mathbb{N}_\infty$ （すべての点を $x$ に写す写像）が、ふるい $R$ に属していること。
部分列の抽出（位相的埋め込みによる定式化）: 任意の位相的埋め込み (topological embedding) $e : \mathbb{N}_\infty \to \mathbb{N}_\infty$ が与えられたとき、さらにある位相的埋め込み $e' : \mathbb{N}_\infty \to \mathbb{N}_\infty$ が存在して、合成写像 $e \circ e'$ がふるい $R$ に属すること。

※ここで、連続写像が位相的埋め込みであることは、自然数の無限部分集合を昇順に（単射として）なぞり、かつ $\infty$ を $\infty$ に写す写像であることと同値である。すなわち、条件2は「どんな無限部分列 $e$ を提示されても、さらにその無限部分列 $e'$ を適切に選べば、その合成 $e \circ e'$ を $R$ に属させることができる」という解析学的な部分列原理を完全に表現している。

5. 位相的トポスに埋め込まれる空間と $\mathbf{Top}$ からの逸脱

Johnstone のトポス $\mathcal{E}$ には、実用上極めて重要な空間（すべての距離空間や CW 複体など）が含まれる「部分点列空間の圏」が充満忠実 (fully faithful) に埋め込まれます。しかし、この「部分点列空間の圏」は、通常の位相空間の圏 $\mathbf{Top}$ からはみ出してしまうことが知られています。

集合 $X$ と、点列 $(x_n)_{n=1}^\infty$ から点 $x \in X$ への収束関係 $(x_n) \to x$ のペアが部分点列空間 (subsequential space, または L-space) であるとは、以下の3条件を満たすことである。

任意の $x \in X$ について、定数点列 $(x, x, \dots)$ は $x$ に収束する。
$(x_n) \to x$ ならば、その任意の部分列 $(x_{n_k})$ も $x$ に収束する。
（Urysohn の公理）ある点列 $(x_n)$ について、「その任意の部分列が、さらに $x$ に収束する部分列を持つ」ならば、元の点列 $(x_n)$ も $x$ に収束する。

証明:
位相空間における閉包演算のベキ等性 (idempotency) と矛盾する L-空間を構成することで証明する。
集合 $X$ を $X = \{*\} \cup \mathbb{N} \cup (\mathbb{N} \times \mathbb{N})$ と定義する。
収束関係を以下のように定義し、L-空間の公理を満たすようにこれらとその部分列のみが収束すると定める。

各 $m \in \mathbb{N}$ に対して、点列 $S_m = ((m, 1), (m, 2), (m, 3), \dots)$ は $m$ に収束する。
点列 $S = (1, 2, 3, \dots)$ は $*$ に収束する。
$\mathbb{N} \times \mathbb{N}$ の要素のみからなる点列は、$*$ には決して収束しない。

この空間は L-空間の公理を満たす。さて、この収束関係を完全に再現する位相空間の開集合系 $\tau$（およびそれによる閉包演算 $Cl$）が存在すると仮定して矛盾を導く。

部分集合 $A = \mathbb{N} \times \mathbb{N}$ を考える。位相空間において、$A$ 内の点列が収束する極限点は必ず $Cl(A)$ に含まれる。点列 $S_m$ は $A$ 内の点列であり、$m$ に収束するため、すべての $m \in \mathbb{N}$ は $Cl(A)$ に含まれる。すなわち、$\mathbb{N} \subset Cl(A)$ である。
次に、点列 $S$ は $\mathbb{N}$ 内の点列であり、$*$ に収束するため、$* \in Cl(\mathbb{N})$ である。
位相空間の閉包演算はベキ等であるため、$Cl(Cl(A)) = Cl(A)$ が成り立つ。したがって、 $$ * \in Cl(\mathbb{N}) \subset Cl(Cl(A)) = Cl(A) $$ となり、$*$ は $A$ の閉包に含まれなければならない。
しかし、この位相 $\tau$ は点列の収束によって記述される空間であるため、$* \in Cl(A)$ であるならば、「$A$ 内の点列で $*$ に収束するもの」が存在しなければならない。しかし定義により、$\mathbb{N} \times \mathbb{N}$ (すなわち $A$) 内の点列は $*$ には収束しない。これは矛盾である。
ゆえに、この L-空間の構造は位相空間として表現することはできず、部分点列空間の圏は $\mathbf{Top}$ の外側にはみ出している。

6. トポスの内部論理における $\neg\neg$分離対象

位相的トポスの内部は古典論理ではなく「直観主義論理 (intuitionistic logic)」が支配する宇宙です。この宇宙において、前述の「部分点列空間」は、論理学的な美しい言葉で特徴づけられます。

直観的 (intuitive) に言えば、トポス内の一般的な「点」は、単なる位置ではなく「そこに至る経路やスピードの履歴」を持っています。そのため、同じ目的地に向かっていても経路が違うと「完全に等しい ($x=y$) とは言えないが、決定的に異なるとも言えない ($\neg\neg(x=y)$)」という直観主義特有の幽霊のような状態が生じます。この余剰データを強制的に削ぎ落とし、古典的な空間論の常識を回復させるのが $\neg\neg$分離対象です。

Day, B. J., & Kelly, G. M. (1970). On topological quotient maps preserved by pullbacks or products. Mathematical Proceedings of the Cambridge Philosophical Society, 67(3), 553-558. https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/on-topological-quotient-maps-preserved-by-pullbacks-or-products/F5A5B4D784889DAC4D97D4E491035F43
Johnstone, P. T. (1979). On a topological topos. Proceedings of the London Mathematical Society, s3-38(2), 237-271. https://doi.org/10.1112/plms/s3-38.2.237
Clausen, D., & Scholze, P. (2019). Lectures on Condensed Mathematics. (Lecture Notes). https://www.math.uni-bonn.de/people/scholze/Condensed.pdf
Mac Lane, S., & Moerdijk, I. (1992). Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer-Verlag. https://link.springer.com/book/10.1007/978-1-4612-0927-0

収束空間の圏 $\mathbf{Conv}$ と位相的トポスに関する包括的解説